Issues in Representing Biological and Clinical Phenotypes Using the Formal Models
نویسندگان
چکیده
* These authors contributed equally to the work † Corresponding authors who have contributed equally Representing phenotypes in a structured and standardized manner across different biological species poses significant challenges. We performed a modeling experiment to compare a model called the Canon model, and the PATO for representing a range of biological and clinical phenotypes. The formal nature of Canon model allows for complex representations, but lacks the simplicity offered by PATO. A phenotype model allowing flexible representation with unique semantic interpretation is desired.
منابع مشابه
Clinical Supervision in Nursing Education: Definitions and Models
Introduction: Clinical supervision, as a mechanism for promoting knowledge and professional skills of nurses, is a core activity in nursing practice. To use clinical supervision in nursing education, it is necessary to have a comprehensive understanding of definitions and models. This paper explains the role and models of clinical supervision in nursing education. Methods: This study is a narr...
متن کاملدشواریهای تشخیص اختلال دوقطبی در کودکان: از چارچوب تشخیصی رسمی تا معیارهای تشخیصی آشفتگی شدید در تنظیم خلق
AbstractObjectives: Defining bipolar disorder in children is a topic of multiple debates. DSM-IV criteria can not cover all clinical phenotypes. This paper represents a literature review on this topic. Method: In a review study, data were collected through searching in relevant databases and assessing available texts. Results: Developmental processes may change clinical presentation of bipolar ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملComparison of Different Model Predictions on RBE in the Proton Therapy Technique Using the GATE Code
Recently, proton therapy is used as one of the effective methods for treating various types of cancer in clinical treatment. An appropriate formalism to obtain relative biological effectiveness values for treatment planning studies is needed in this hadrontherapy technique. Hereby, the quantity of biological dose, instead of using the physical doses, is introduced to evaluate the biological eff...
متن کامل